Space electric power systems study- d-c to d-c converters for nuclear-thermionic energy sources

Direct current converters used in space electric power system for nuclear-electric power suppl

Load programmer, static switches, and annunciator for inverters and converters

Load programmer, switches, and annunciator for static inverters and converters operating in paralle

Determining Training Needs for Cloud Infrastructure Investigations using I-STRIDE

As more businesses and users adopt cloud computing services, security vulnerabilities will be increasingly found and exploited. There are many technological and political challenges where investigation of potentially criminal incidents in the cloud are concerned. Security experts, however, must still be able to acquire and analyze data in a methodical, rigorous and forensically sound manner. This work applies the STRIDE asset-based risk assessment method to cloud computing infrastructure for the purpose of identifying and assessing an organization's ability to respond to and investigate breaches in cloud computing environments. An extension to the STRIDE risk assessment model is proposed to help organizations quickly respond to incidents while ensuring acquisition and integrity of the largest amount of digital evidence possible. Further, the proposed model allows organizations to assess the needs and capacity of their incident responders before an incident occurs.Comment: 13 pages, 3 figures, 3 tables, 5th International Conference on Digital Forensics and Cyber Crime; Digital Forensics and Cyber Crime, pp. 223-236, 201

Proving termination of programs automatically with AProVE

AProVE is a system for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and term rewrite systems (TRSs). To analyze programs in high-level languages, AProVE automatically converts them to TRSs. Then, a wide range of techniques is employed to prove termination and to infer complexity bounds for the resulting TRSs. The generated proofs can be exported to check their correctness using automatic certifiers. For use in software construction, we present an AProVE plug-in for the popular Eclipse software development environment

The tomato Prf complex is a molecular trap for bacterial effectors based on Pto transphosphorylation

The bacteria Pseudomonas syringae is a pathogen of many crop species and one of the model pathogens for studying plant and bacterial arms race coevolution. In the current model, plants perceive bacteria pathogens via plasma membrane receptors, and recognition leads to the activation of general defenses. In turn, bacteria inject proteins called effectors into the plant cell to prevent the activation of immune responses. AvrPto and AvrPtoB are two such proteins that inhibit multiple plant kinases. The tomato plant has reacted to these effectors by the evolution of a cytoplasmic resistance complex. This complex is compromised of two proteins, Prf and Pto kinase, and is capable of recognizing the effector proteins. How the Pto kinase is able to avoid inhibition by the effector proteins is currently unknown. Our data shows how the tomato plant utilizes dimerization of resistance proteins to gain advantage over the faster evolving bacterial pathogen. Here we illustrate that oligomerisation of Prf brings into proximity two Pto kinases allowing them to avoid inhibition by the effectors by transphosphorylation and to activate immune responses

Phenotypic and molecular assessment of seven patients with 6p25 deletion syndrome: Relevance to ocular dysgenesis and hearing impairment

BACKGROUND: Thirty-nine patients have been described with deletions involving chromosome 6p25. However, relatively few of these deletions have had molecular characterization. Common phenotypes of 6p25 deletion syndrome patients include hydrocephalus, hearing loss, and ocular, craniofacial, skeletal, cardiac, and renal malformations. Molecular characterization of deletions can identify genes that are responsible for these phenotypes. METHODS: We report the clinical phenotype of seven patients with terminal deletions of chromosome 6p25 and compare them to previously reported patients. Molecular characterization of the deletions was performed using polymorphic marker analysis to determine the extents of the deletions in these seven 6p25 deletion syndrome patients. RESULTS: Our results, and previous data, show that ocular dysgenesis and hearing impairment are the two most highly penetrant phenotypes of the 6p25 deletion syndrome. While deletion of the forkhead box C1 gene (FOXC1) probably underlies the ocular dysgenesis, no gene in this region is known to be involved in hearing impairment. CONCLUSIONS: Ocular dysgenesis and hearing impairment are the two most common phenotypes of 6p25 deletion syndrome. We conclude that a locus for dominant hearing loss is present at 6p25 and that this locus is restricted to a region distal to D6S1617. Molecular characterization of more 6p25 deletion patients will aid in refinement of this locus and the identification of a gene involved in dominant hearing loss

'A new kind of rays': gothic fears, cultural anxieties and the discovery of X-rays in the 1890s

In 1895, the world of modern physics was effectively ushered in with the discovery of X-rays by the German physicist, Wilhelm Conrad Röntgen. X-rays rapidly changed the ways in which the human body was perceived, and their discovery was documented and fiercely debated in scientific articles, newspaper reports, literary writings, cartoons and films. This article examines a range of these responses, both 'scientific' and 'popular', and considers the particular significance of their repeated recourse to the Gothic and the uncanny as a means of expressing both excitement and disquiet at what the new X-ray phenomenon might mean

Analyzing program termination and complexity automatically with AProVE

In this system description, we present the tool AProVE for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and rewrite systems. In addition to classical term rewrite systems (TRSs), AProVE also supports rewrite systems containing built-in integers (int-TRSs). To analyze programs in high-level languages, AProVE automatically converts them to (int-)TRSs. Then, a wide range of techniques is employed to prove termination and to infer complexity bounds for the resulting rewrite systems. The generated proofs can be exported to check their correctness using automatic certifiers. To use AProVE in software construction, we present a corresponding plug-in for the popular Eclipse software development environment

The nuclear immune receptor RPS4 is required for RRS1SLH1-dependent constitutive defense activation in Arabidopsis thaliana

Plant nucleotide-binding leucine-rich repeat (NB-LRR) disease resistance (R) proteins recognize specific ‘‘avirulent’’ pathogen effectors and activate immune responses. NB-LRR proteins structurally and functionally resemble mammalian Nod-like receptors (NLRs). How NB-LRR and NLR proteins activate defense is poorly understood. The divergently transcribed Arabidopsis R genes, RPS4 (resistance to Pseudomonas syringae 4) and RRS1 (resistance to Ralstonia solanacearum 1), function together to confer recognition of Pseudomonas AvrRps4 and Ralstonia PopP2. RRS1 is the only known recessive NBLRR R gene and encodes a WRKY DNA binding domain, prompting suggestions that it acts downstream of RPS4 for transcriptional activation of defense genes. We define here the early RRS1-dependent transcriptional changes upon delivery of PopP2 via Pseudomonas type III secretion. The Arabidopsis slh1 (sensitive to low humidity 1) mutant encodes an RRS1 allele (RRS1SLH1) with a single amino acid (leucine) insertion in the WRKY DNA-binding domain. Its poor growth due to constitutive defense activation is rescued at higher temperature. Transcription profiling data indicate that RRS1SLH1-mediated defense activation overlaps substantially with AvrRps4- and PopP2-regulated responses. To better understand the genetic basis of RPS4/RRS1-dependent immunity, we performed a genetic screen to identify suppressor of slh1 immunity (sushi) mutants. We show that many sushi mutants carry mutations in RPS4, suggesting that RPS4 acts downstream or in a complex with RRS1. Interestingly, several mutations were identified in a domain C-terminal to the RPS4 LRR domain. Using an Agrobacterium-mediated transient assay system, we demonstrate that the P-loop motif of RPS4 but not of RRS1SLH1 is required for RRS1SLH1 function. We also recapitulate the dominant suppression of RRS1SLH1 defense activation by wild type RRS1 and show this suppression requires an intact RRS1 P-loop. These analyses of RRS1SLH1 shed new light on mechanisms by which NB-LRR protein pairs activate defense signaling, or are held inactive in the absence of a pathogen effector